First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
551	ProofPower Compliance Tool — Proving VCs PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:53 Model theory Formal languages Logical consequence Theorems First-order logic SPARK Mathematical proof 0.999... Logic Mathematics Mathematical logic
552	1 Proof in Z with ProofPower Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 First-order logic Model theory Predicate logic Function Lemmas Mathematics Mathematical logic Logic
553	ProofPower HOL Tutorial Notes PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 Formal methods Logic in computer science Theoretical computer science HOL Higher-order logic Lambda calculus D Tutorial First-order logic Logic Mathematics Mathematical logic
554	First order axiomatization of typed feature structures Richard Elling Moe? ? Department of information science and media studies University of Bergen Add to Reading List Source URL: www.stes.fi Language: English - Date: 2006-10-19 04:44:00 Metalogic Structure Interpretation Type system Symbol First-order logic If and only if Type theory Orbifold Model theory Logic Mathematical logic
555	Symbolic Dynamic Programming for First-order POMDPs Scott Sanner Kristian Kersting NICTA & ANU Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-04-14 03:16:52 Markov processes Stochastic control Mathematical sciences Mathematical optimization Logic programming Partially observable Markov decision process Markov decision process Situation calculus Optimal control Statistics Control theory Dynamic programming
556	SALT—Structured Assertion Language for Temporal Logic Andreas Bauer, Martin Leucker? , and Jonathan Streit Institut f¨ ur Informatik, Technische Universit¨ at M¨ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:29 Temporal logic Logic in computer science Propositional calculus Formal methods Linear temporal logic Model checking First-order logic Formal verification Interval temporal logic Logic Mathematical logic Theoretical computer science
557	The Theory and Practice of SALT Andreas Bauer1 and Martin Leucker2 1 NICTA Canberra Research Lab and The Australian National University 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2011-02-20 17:19:51 Logical syntax Logic in computer science Linear temporal logic Model checking Propositional calculus First-order logic Logical connective LTL Proposition Logic Mathematical logic Temporal logic
558	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
559	Second Attempt to Build a Model of the Tick-Tack-Toe Game Dimiter Dobrev Institute of Mathematics and Informatics, Bulgarian Academy of Sciences, “Acad. G. Bonchev” Str., Bl. 8, Add to Reading List Source URL: www.dobrev.com Language: English - Date: 2008-01-11 14:21:12 Philosophy of mathematics Model theory Function First-order logic Combinatory logic Tic-tac-toe Economic model Random access machine Mathematics Mathematical logic Logic
560	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics

UPDATE